Model-based testing - PDFSEARCH.IO - Document Search Engine

Model-based testing
Results: 198

#	Item
41	Employing Classifying Terms for Testing Model Transformations Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-09-17 08:36:58 Unified Modeling Language Software engineering Computing Engineering Software testing Systems engineering Software design Scientific modeling Model-based testing ECO Metamodeling Class diagram
42	Model-Based Vulnerability Testing of Payment Protocol Implementations Ghazi Maatoug Frédéric Dadeau Add to Reading List Source URL: imm.dtu.dk Language: English - Date: 2014-03-03 04:35:26
43	Model Based Black-Box Testing of SDN Applications Jiangyuan Yao∗† , Zhiliang Wang¶† , Xia Yin∗† , Xingang Shi¶† , Jianping Wu∗† and Yahui Li§ ∗ Department of Computer Science and Technology, Tsinghua Add to Reading List Source URL: conferences2.sigcomm.org Language: English - Date: 2014-12-01 17:07:26 Computing Network architecture Computer networking Forwarding plane Network simulation Model-based testing Internet protocol suite Transmission Control Protocol Communications protocol
44	Position Paper: Model-Based Testing Mark Utting The University of Waikato, New Zealand Email: 1 Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:12
45	Using Model-Based Testing for Testing Application Models in the Context of Domain-Specific Modelling Olli-Pekka Puolitaival VTT TECHNICAL RESEARCH CENTRE OF FINLAND Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2009-10-31 18:13:52
46	Separation of Transitions, Actions, and Exceptions in Model-based Testing Cyrille Artho Research Center for Information Security (RCIS), AIST, Tokyo, Japan Abstract. Model-based testing generates test cases from a high-l Add to Reading List Source URL: staff.aist.go.jp Language: English - Date: 2015-11-26 00:31:41
47	Model-Based Testing for Verification Back-ends? Cyrille Artho1 , Armin Biere2 , and Martina Seidl2,3 1 National Institute of Advanced Industrial Science and Technology (AIST), Research Institute for Secure Systems (RISEC Add to Reading List Source URL: staff.aist.go.jp Language: English - Date: 2015-11-26 00:31:57
48	Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu Add to Reading List Source URL: www.spacios.eu Language: English - Date: 2012-10-11 06:26:07 Failure Cross-site scripting Vulnerability SQL injection Fault injection Dolev-Yao model Model-based testing Remote file inclusion Code injection Software testing Cyberwarfare Computer security
49	Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu Add to Reading List Source URL: www.spacios.eu Language: English - Date: 2013-07-12 10:40:07 Mind Software architecture Model-based testing Abstraction Cross-site scripting Economic model Software framework Software development process Software engineering Computing Software testing
50	Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu Add to Reading List Source URL: www.spacios.eu Language: English - Date: 2012-10-13 08:46:57 Security Penetration test Model-based testing Validation Vulnerability Model checking Software development process Security testing Software testing Computer security Cyberwarfare